Nuprl Definition : notkills 8,37
x did not kill y == x kills y 
latex

DefinitionsA
FDL editor aliasesnotkills

origin